3

On computational complexity of Prolog programs

Année:
1993
Langue:
english
Fichier:
PDF, 2.08 MB
english, 1993
6

On complexity of verification of interacting agents’ behavior

Année:
2006
Langue:
english
Fichier:
PDF, 455 KB
english, 2006
9

On feasible cases of checking multi-agent systems behavior

Année:
2003
Langue:
english
Fichier:
PDF, 301 KB
english, 2003
28

Categorial dependency grammars

Année:
2015
Langue:
english
Fichier:
PDF, 971 KB
english, 2015
35

Linguistic $$\leftrightarrow $$ ↔ Rational Agents’ Semantics

Année:
2017
Langue:
english
Fichier:
PDF, 2.90 MB
english, 2017